Weakly Equivalent Arrays

The (extensional) theory of arrays is widely used to model systems. Hence, efficient decision procedures are needed to model check such systems. Current decision procedures for the theory of arrays saturate the read-over-write and extensionality axioms originally proposed by McCarthy. Various filters are used to limit the number of axiom instantiations while preserving completeness. We present an algorithm that lazily instantiates lemmas based on weak equivalence classes. These lemmas are easier to interpolate as they only contain existing terms. We formally define weak equivalence and show correctness of the resulting decision procedure

Reply: Evaluation of management of desmoid tumours associated with familial adenomatous polyposis in Dutch patients

Cellular mechanisms in basic and clinical gastroenterology and hepatolog

Het brein: een bron van onzekerheid

Overig prod. v. wetensch. act

Сучасна лексикографія як об’єкт лінгвістики

У статті проаналізовано сучасні праці теоретичної лексикографії, розглянуто погляди науковців на дефініцію терміна “лексикографія”.The article gives the analysis of contemporary works on theoretical lexicography and rewiews the approaches of different scientists to the term “lexicography”

Nonperturbative dynamics of scalar field theories through the Feynman-Schwinger representation

In this paper we present a summary of results obtained for scalar field theories using the Feynman-Schwinger (FSR) approach. Specifically, scalar QED and chi^2phi theories are considered. The motivation behind the applications discussed in this paper is to use the FSR method as a rigorous tool for testing the quality of commonly used approximations in field theory. Exact calculations in a quenched theory are presented for one-, two-, and three-body bound states. Results obtained indicate that some of the commonly used approximations, such as Bethe-Salpeter ladder summation for bound states and the rainbow summation for one body problems, produce significantly different results from those obtained from the FSR approach. We find that more accurate results can be obtained using other, simpler, approximation schemes.Comment: 25 pags, 19 figures, prepared for the volume celebrating the 70th birthday of Yuri Simono